Design Space Exploration and Manipulation for Cyber Physical Systems
نویسندگان
چکیده
Cyber-Physical Systems (CPS) [1] are engineered systems that require tight interaction between physical and computational components. Designing a CPS is highly challenging [2] because these systems are inherently complex, need significant effort to describe and evaluate a vast set of crossdisciplinary interactions, and require seamless meshing of physical elements with corresponding software artifacts. Moreover, a large set of architectural and composable alternatives must be systematically explored and evaluated in the context of a highly constrained design space. The constraints imposed on the selection of alternatives are derived from the system’s functional, performance, dimensional, physical, and economical objectives. Furthermore, the design process of these systems is highly iterative and requires continuous integration of design generation with design selection and manipulation supported by design analyses. Existing computer-aided design tools are not well-suited for this method of design. To facilitate the iterative design process for CPS-s, we have developed a design toolchain, OpenMETA [4] [9], built around a DomainSpecific Modeling Language (DSML) [3], called the Cyber-Physical Modeling Language (CyPhyML). In this paper, we present parts OpenMETA that address the requirements of Design Space Exploration and Manipulation (DSEM) for CPS-s.
منابع مشابه
A co-simulation framework for design of time-triggered automotive cyber physical systems
Designing cyber-physical systems (CPS) is challenging due to the tight interactions between software, network/platform, and physical components. Automotive control system is a typical CPS example and often designed based on a time-triggered paradigm. In this paper, a co-simulation framework that considers interacting CPS components for assisting time-triggered automotive CPS design is proposed....
متن کاملModeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems
When designing cyber-physical systems (CPS), virtual prototyping can discover potential design flaws at early design stages to reduce the difficulties at the integration stage. CPS are typically complex real-time distributed systems which require networks with deterministic end-to-end latency and bounded jitter. Time-triggered Ethernet (TTEthernet) integrates time-triggered and event-triggered ...
متن کاملCPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics
We describe a new methodology and environment for Cyber Physical Systems (CPS) synthesis and demonstrate it in the design of microrobots viewed as CPS. Various types of microrobots have been developed in recent years for applications related to collaborative motion such as, sensor networks, exploration and search-rescue in hazardous environments and medical drug delivery. However, control algor...
متن کاملManipulation Control of a Flexible Space Free Flying Robot Using Fuzzy Tuning Approach
Cooperative object manipulation control of rigid-flexible multi-body systems in space is studied in this paper. During such tasks, flexible members like solar panels may get vibrated that in turn may lead to some oscillatory disturbing forces on other subsystems, and consequently produces error in the motion of the end-effectors of the cooperative manipulating arms. Therefore, to design and dev...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014